/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

/**
 * NuGat-API named Chameleon developed by Simon De Baets to Verimag.
 *
 */


package chameleon.model.automata;

import chameleon.model.NodeTrans;
import chameleon.model.formula.Formula;

/**
 * This class represent an edge to an automata.
 *
 * @author simon
 */
public class Edge {

    private String from_;
    private String to_;
    private Formula label_;

    public Edge (String from, String to, Formula label){
        from_ = from;
        to_ = to;
        label_ = label;
    }

    private Edge (Edge edge){
        from_ = edge.getFrom();
        to_ = edge.getTo();
        label_ = edge.getLabel().clone();
    }

    public Edge clone(){
        return new Edge(this);
    }

    public String getFrom() {
        return from_;
    }

    public String getTo() {
        return to_;
    }

    public Formula getLabel(){
        return label_;
    }

}
